Section: Dissemination

Teaching - Supervision - Juries

• Mario Bravetti

  • Master: “Linguaggi, Compilatori e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

  • Master: “Cryptography”, 36 Hours, 2nd Year, University of Bologna, Italy.

• Daniel Hirschkoff

  • Master: “Coinductive Methods in Computer Science”, 2nd year, Ecole Normale Supérieure de Lyon.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Elena Giachino

  • Undergraduate: “Programmazione”, 40 hours, 1st year, University of Bologna, Italy.

• Saverio Giallorenzo

  • Undergraduate: “Laboratorio di Operating Systems”, 40 hours, 2nd year, University of Bologna, Italy.

• Ivan Lanese

  • Undergraduate: “Programmazione”, 32 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Algoritmi e Strutture Dati”, 45 hours, 2nd year, University of Bologna, Italy.

  • Master: “Ingegneria del Software Orientata ai Servizi”, 22 hours, 2nd year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

  • Master: “Logical Foundations of Computer Science”, 48 hours, 2nd year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Master: “Models for concurrency”, 15 hours, 2nd year, University of Bologna, Italy.

• Marco Solieri

  • Undergraduate: “UNIX system programming”, 48 hours, 3rd year, Université Paris Diderot

  • Undergraduate: “Network programming”, 48 hours, 3rd year, Université Paris Diderot

• Gianluigi Zavattaro

  • Undergraduate: “Computer Architectures”, 60 hours, 1st year, University of Bologna, Italy

  • Undergraduate: “Programming Languages”, 60 hours, 2nd year, University of Bologna, Italy

• Alberto Cappai, " On Equivalences, Metrics, and Computational Indistinguishability", University of Bologna, April 2016.

• Alessandro Rioli, " Coinductive Techniques on a Linear Quantum $\lambda$-calculus", University of Bologna, April 2016.

• Marco Solieri, “Sharing, Superposition and Expansion — Geometrical Studies on the Semantics and Implementation of $\lambda$-calculi and Proof-Nets”, S. Guerrini (Paris Nord) and S. Martini. [11].

• Saverio Giallorenzo, “Real-World Choreographies”, University of Bologna, April 2016 [10].

Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.

• Adrien Durier, september 2016, "Proving behavioural properties of higher-order concurrent languages", ENS de Lyon and University of Bologna. Supervisors Daniel Hirschkoff and Davide Sangiorgi.

• Abel Garcia, January 2014, “Analysis of Cloud Computing Systems”. Supervisor C. Laneve.

• Francesco Gavazzo, October 2015, “Coinductive Techniques for Effectful Lambda Calculi”. Supervisors U. Dal Lago and D. Sangiorgi.

• Raphaelle Crubillé, October 2015, “Bisimulation Metrics and Probabilistic Lambda Calculi”, Université Denis Diderot and University of Bologna. Supervisors Thomas Ehrhard and Ugo Dal Lago.

• Vincenzo Mastandrea, October 2015, “Deadlock analysis in ASP”. Supervisors Cosimo Laneve and Ludovic Henrio (CNRS Sophia Antipolis).

• Valeria Vignudelli, January 2014, “Probabilities in Higher-Order languages”. Supervisor D. Sangiorgi.